(read_char): If end_time specified, don't put the
authorRichard M. Stallman <rms@gnu.org>
Wed, 13 Sep 2006 15:12:59 +0000 (15:12 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 13 Sep 2006 15:12:59 +0000 (15:12 +0000)
commitcf48895bc5208a7935de4b1e2872ece6d743b840
tree2503b960e754067269f71e00b234f96431b8780c
parent12688e7f4302289082fa0f670f7f7a62f5d065dd
(read_char): If end_time specified, don't put the
event into this_command_keys.
(read_key_sequence): If Voverriding_terminal_local_map is specified,
don't check Voverriding_local_map at all.
src/keyboard.c